home *** CD-ROM | disk | FTP | other *** search
/ Best Tools for JAVA / Best Tools for JAVA.iso / JAVA_ALL / RMI_OS / RMI-PREB / BIN / RMIC < prev    next >
Encoding:
Korn shell script  |  1996-11-08  |  437 b   |  19 lines
  1. #!/bin/ksh -p
  2. #
  3. # RMIHOME must be set so that lib/rmic.properties can be located.
  4. #
  5. PRG=`whence $0` >/dev/null 2>&1
  6. BINDIR=`dirname $PRG`
  7. RMIHOME=`dirname $BINDIR`
  8.  
  9. if [ ! -d "$RMIHOME/lib" ] ; then
  10.     RMIHOME=/vob/java/build
  11. fi
  12.  
  13. if [ ! -r "$RMIHOME/lib/rmic.properties" ] ; then
  14.     echo "Could not read properties file: $RMIHOME/lib/rmic.properties" 1>&2
  15.     exit 1
  16. fi
  17.  
  18. java -Drmi.home=$RMIHOME sun.rmi.rmic.Main $*
  19.